465e6acef79685fd295790abe0e37e3d732b1f02,src/shuffle/fwk/gui/GridPanel.java,GridPanel,getGridBorderThickness,#,140
Before Change
* @return
*/
private int getGridBorderThickness() {
return getUser().getPreferencesManager().getIntegerValue(KEY_GRID_BORDER_THICK, DEFAULT_GRID_BORDER_THICK);
}
private int getCellOutlineThickness() {
After Change
* @return
*/
private int getGridBorderThickness() {
ConfigManager preferencesManager = getUser().getPreferencesManager();
Integer thick = preferencesManager.getIntegerValue(KEY_GRID_BORDER_THICK, DEFAULT_GRID_BORDER_THICK);
return getUser().scaleBorderThickness(thick);
}
private int getCellOutlineThickness() {